Equivalences, Identities, Symmetric Differences, and Congruences in Orthomodular Lattices
نویسنده
چکیده
It is shown that operations of equivalence cannot serve for building algebras which would induce orthomodular lattices as the operations of implication can. Several properties of equivalence operations have been investigated. Distributivity of equivalence terms and several other 3 variable expressions involving equivalence terms have been proved to hold in any orthomodular lattice. Symmetric differences have been shown to reduce to complements of equivalence terms. Some congruence relations related to equivalence operations and symmetric differences have been considered.
منابع مشابه
Some Properties of Congruence Relations on Orthomodular Lattices
In this paper congruences on orthomodular lattices are studied with particular regard to analogies in Boolean algebras. For this reason the lattice of p-ideals (corresponding to the congruence lattice) and the interplay between congruence classes is investigated. From the results adduced there, congruence regularity, uniformity and permutability for orthomodular lattices can be derived easily.
متن کاملNon–commutative Symmetric Differences in Orthomodular Lattices
We deal with the following question: What is the proper way to introduce symmetric difference in orthomodular lattices? Imposing two natural conditions on this operation, six possibilities remain: the two (commutative) normal forms of the symmetric difference in Boolean algebras and four noncommutative terms. It turns out that in many respects the non-commutative forms, though more complex with...
متن کاملResiduation in orthomodular lattices
We show that every idempotent weakly divisible residuated lattice satisfying the double negation law can be transformed into an orthomodular lattice. The converse holds if adjointness is replaced by conditional adjointness. Moreover, we show that every positive right residuated lattice satisfying the double negation law and two further simple identities can be converted into an orthomodular lat...
متن کاملManuel ABAD , Alicia FERNANDEZ and Nelli MESKE FREE BOOLEAN CORRELATION LATTICES
A correlation lattice is an algebra (B,∧,∨, σ, 0, 1) where (B,∧,∨, 0, 1) is a bounded lattice and σ is a dual endomorphism on B which has the property σ(x) = x for a fixed number n, n ∈ 2N + 1 ([3], [4]). This notion generalizes orthomodular lattices, and in the distributive case, Boolean algebras, De Morgan algebras and some classes of Ockham algebras. Moreover, in [4], D. Schweigert and M. Sz...
متن کاملQuasi-Varieties, Congruences, and Generalized Dowling Lattices
Dowling lattices and their generalizations introduced by Hanlon are interpreted as lattices of congruences associated to certain quasi-varieties of sets with group actions. This interpretation leads, by a simple application of Mobius inversion, to polynomial identities which specialize to Hanlon's evaluation of the characteristic polynomials of generalized Dowling lattices. Analogous results ar...
متن کامل